prove subspace